Event calculus - PDFSEARCH.IO - Document Search Engine

Event calculus
Results: 45

#	Item
11	A Meta-model for the Specification of Artificial Institutions using the Event Calculus Add to Reading List Source URL: webdatanet.cbs.dk Language: English - Date: 2013-09-12 07:06:56
12	Combining Narratives John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:17:15 Theoretical computer science Logic in computer science Knowledge representation Human spaceflight Situation calculus S0 Event calculus Fluent Entailment Spaceflight Logic Logic programming
13	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
14	Limiting Information Leakage in Event-based Communication Willard Rafnsson Andrei Sabelfeld Chalmers Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Logical syntax Metalogic Philosophical logic Propositional calculus Ch Dependence analysis Logic Deduction Entailment
15	Optimisation and Relaxation for Multiagent Planning in the Situation Calculus Toby O. Davies Adrian R. Pearce Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-02-19 22:22:59 Applied mathematics Logic programming Logic in computer science Convex optimization Operations research Situation calculus Relaxation Event calculus Fluent Theoretical computer science Mathematical optimization Mathematics
16	Achieving your PB in Mathematics Preparing for a mathematics exam can be a little like preparing for a competitive sport event. To achieve your personal best (PB) in Mathematics it is important to first identify your str Add to Reading List Source URL: hsc.csu.edu.au Language: English - Date: 2012-03-01 10:35:46 Australian Certificate of Education Higher School Certificate Calculus Mathematics education Question IB Group 5 subjects Sixth Term Examination Paper Education Evaluation Standardized tests
17	Towards a Logic-Based Unifying Framework for Computing ROBERT KOWALSKI, Imperial College London FARIBA SADRI, Imperial College London Computer Science today lacks a unified view of Computing. Instead, the main subareas, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-01-25 04:32:05 Computing Applied mathematics Actor model Futures and promises Inter-process communication Event calculus T-carrier Fluent T1 Theoretical computer science Logic in computer science Logic programming
18	Achieving your PB in Mathematics Preparing for a mathematics exam can be a little like preparing for a competitive sport event. To achieve your personal best (PB) in Mathematics it is important to first identify your str Add to Reading List Source URL: hsc.csu.edu.au Language: English - Date: 2012-03-01 10:35:43 Australian Certificate of Education Higher School Certificate Calculus Mathematics education Question IB Group 5 subjects Sixth Term Examination Paper Education Evaluation Standardized tests
19	Achieving your PB in Mathematics Preparing for a mathematics exam can be a little like preparing for a competitive sport event. To achieve your personal best (PB) in Mathematics it is important to first identify your str Add to Reading List Source URL: www.hsc.csu.edu.au Language: English - Date: 2012-03-01 10:35:43 Australian Certificate of Education Higher School Certificate Calculus Mathematics education Question IB Group 5 subjects Sixth Term Examination Paper Education Evaluation Standardized tests
20	Achieving your PB in Mathematics Preparing for a mathematics exam can be a little like preparing for a competitive sport event. To achieve your personal best (PB) in Mathematics it is important to first identify your str Add to Reading List Source URL: www.hsc.csu.edu.au Language: English - Date: 2012-03-01 10:35:46 Australian Certificate of Education Higher School Certificate Calculus Mathematics education Question IB Group 5 subjects Sixth Term Examination Paper Education Evaluation Standardized tests